- LNCS897
- -M. Fisher/R. Owens (Eds.): Executable Modal and Temporal Logics. Proceedings 1993, Springer-Verlag 1995 (Subseries LNAI)
Acronyms von A bis Z. 2013.
Acronyms von A bis Z. 2013.
LNCS897 — M. Fisher/R. Owens (Eds.): Executable Modal and Temporal Logics. Proceedings 1993, Springer Verlag 1995 (Subseries LNAI) … Acronyms